COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.TURN ON "%","{"
C00004 00003	.LAST USED LABEL IS P192:
C00005 ENDMK
C⊗;
.TURN ON "%","{";
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.FONT 4 "SUB";			<<subscripts>>
.FONT 5 "ASI30.FNT[LSP,JRA]"	<<font of wide mexpr defns>>
.FONT 6 "BASB30";		<< font for emphasis>>
.FONT 7 "TREE.FNT[LSP,JRA]"	<<box notation>>
.FONT 8 "SUP";			<<superscripts>>
.FONT 9 "SPEC[LSP,JRA]"		<<spcial chrs. sigma under S, cse under x,delta under D>>
.<<				  composition under ⊗, pi under p>>
.FONT a "SET1";			<<fancy horse shit>>
.FONT b "grfx25[LSP,JRA]"	<<box notation>>
.FONT c "FIX30";		<<for ∧ and ≡>>
.FONT d "NGB30";		<<for denotational semantics>>
.FONT e "GERM35";		<<for true and false>>
.FONT f "mg.fnt[lsp,jra]"	<<for scottery and buggery>>
.				 << scott brackets under ( and ) >>
.FONT g "grfx35"		<<yet another attempt at trees>>
.COMMENT 
.
.TREE.FNT CONTAINS:
.G gc marker. A AC pointer. α atom header.~ upper and lower box.
. [ left end. ] right end. NIL. / and \
.LAST USED LABEL IS P192:
.;

.SELECT 1;

.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.MACRO TABIT3(X,Y,Z)⊂TURN ON "\" NOFILL TABS X,Y,Z;⊃

.MACRO CENTERIT ⊂TURN ON "←";NOFILL;⊃